Christian Urban: cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (11)
Più popolari
Lista
- Lista
- Tabella

1

Improvement of buildings' structural quality by new technologies: proceedings of the final conference of COST Action C12, 20-22 January, 2005, Innsbruck, Austria

Improvement of buildings' structural quality by new technologies: proceedings of the final conference of COST Action C12, 20-22 January, 2005, Innsbruck, Austria

A. A. Balkema Publishers

Christian Schaur, European Cooperation in the Field of Scientific and Technical Research (Organization). COST C12., European Cooperation in the Field of Scientific and Technical Research (Organization). Urban Civil Engineering., et al

Anno:

2005

Lingua:

english

File:

PDF, 18.15 MB

0 / 0

english, 2005

2

German-Jewish Thought Between Religion and Politics Festschrift in Honor of Paul Mendes-Flohr on the Occasion of His Seventieth Birthday

German-Jewish Thought Between Religion and Politics Festschrift in Honor of Paul Mendes-Flohr on the Occasion of His Seventieth Birthday

Walter de Gruyter

Wiese, Christian, Urban, Martina (editors)

Anno:

2012

Lingua:

english

File:

PDF, 25.15 MB

0 / 0

english, 2012

3

• ÖSD, Peyerl, LuF, I-XVI, 1-290.indd

• ÖSD, Peyerl, LuF, I-XVI, 1-290.indd

Peter Brauner, Hermann Peyerl, Wolfgang Pum, Christian Urban,

Anno:

2014

Lingua:

german

File:

PDF, 10.95 MB

0 / 0

german, 2014

4

Organic Computing — A Paradigm Shift for Complex Systems

Organic Computing — A Paradigm Shift for Complex Systems

Birkhäuser Basel

Hartmut Schmeck, Christian Müller-Schloer, Emre Çakar, Moez Mnif, Urban Richter (auth.), Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 16.33 MB

0 / 0

english, 2011

5

Web Accessibility

Web Accessibility

Richard Rutter, Patrick H. Lauke, Cynthia Waddell, Jim Thatcher, Shawn Lawton Henry, Bruce Lawson, Andrew Kirkpatrick, Christian Heilmann, Michael R. Burks, Bob Regan, Mark Urban

Anno:

2006

Lingua:

english

File:

PDF, 16.77 MB

4.0 / 5.0

english, 2006

6

Web Accessibility

Web Accessibility

Richard Rutter, Patrick H. Lauke, Cynthia Waddell, Jim Thatcher, Shawn Lawton Henry, Bruce Lawson, Andrew Kirkpatrick, Christian Heilmann, Michael R. Burks, Bob Regan, Mark Urban

Anno:

2006

Lingua:

english

File:

PDF, 16.75 MB

4.0 / 0

english, 2006

7

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Springer International Publishing

Christian Urban, Xingyuan Zhang (eds.)

Anno:

2015

Lingua:

english

File:

PDF, 13.39 MB

0 / 0

english, 2015

8

Organic Computing — A Paradigm Shift for Complex Systems

Organic Computing — A Paradigm Shift for Complex Systems

Birkhäuser Basel

Hartmut Schmeck, Christian Müller-Schloer, Emre Çakar, Moez Mnif, Urban Richter (auth.), Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 21.96 MB

0 / 0

english, 2011

9

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 5.45 MB

0 / 0

english, 2009

10

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 5.50 MB

0 / 0

english, 2009

11

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 4.74 MB

0 / 0

english, 2009